Proof of divisibility rule of 13